15.6 Bayes’ theorem